1. Advances and Innovations in Systems, Computing University of Bridgeport CT, USA Sciences and Software Engineering
پدیدآورنده : \ Edited by Khaled Elleithy
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer engineering -- Congresses.,Software engineering -- Congresses.,System design -- Congresses.,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها,طراحی سیستم -- کنگره‌ها
رده :
E-Book
,
2. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
3. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
4. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
5. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
6. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگره‌ها,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
7. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگره‌ها,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
8. Information and Software Technologies
پدیدآورنده : \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
9. Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
پدیدآورنده : \ Edited by Tarek Sobh
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer engineering -- Congresses.,Software engineering -- Congresses,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
10. Knowledge Engineering and Management
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence -- Engineering applications -- Congresses,Intelligent agents (Computer software) -- Congresses,Systems engineering -- Congresses,هوش مصنوعی -- کاربردهای مهندسی -- کنگره‌ها,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره‌ها,مهندسی سیستم ها -- کنگره‌ها
رده :
E-Book
,
11. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها ,معماری نرمافزار -- کنگره‌ها
رده :
E-Book
,
12. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
13. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
14. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
15. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
16. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
17. Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015)
پدیدآورنده : \ [Edited by] Radek Silhavy...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Artificial intelligence -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,هوش مصنوعی-- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
18. SOFSEM 2015
پدیدآورنده : \ [edited by] Giuseppe F. Italiano...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
19. SOFSEM 2016
پدیدآورنده : \ Rūsiņš Mārtiņš Freivalds , Gregor Engels, Barbara Catania (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2016
E-Book
,
20. Software Composition
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرمافزار -- تولید -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
